C#에서 코드 계약을 작성해 보았습니다 (사용했다고는 말하지 않음)

을 읽고 코드 계약이라는 것을 알았습니다. 그래서 실험하려고했지만 Visual Studio 2017에서 Code Contracts for .NET를 사용할 수 없기 때문에 시도 할 수 없었습니다. 을 보면, CONTRACTS_FULL 가 정의되고 있을 필요가 있는 것 같다. 그래서 좋은 느낌에 Contract.Requires를 추가해 보자. 하지만 오류. 다운로드 및 설치. [Code Con...

.NETFramework코드 계약C#계약